Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
Artículo |
Static type systems : from specification to implementation | Martínez López, Pablo Ernesto |
(2007) |
---------- | |
Artículo |
Tagging, encoding, and Jones optimality : | Danvy, Olivier |
(2003) |
---------- | |
Tesis |
Type specialisation of polymorphic languages [recurso electrónico]: | Martínez López, Pablo Ernesto |
(2005) |
---------- | |
Tesis |
Un enfoque ecléctico para la implementación de estructuras de datos: | Pedemonte, Pablo J. |
(2001) |
Sala
|
---------- |